Instance Verification Kit (IVK)

spin lock @ [84459+23+/linux-3.18-rc1/drivers/usb/host/xhci-ring.c]
Instance Signature: lock

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
handle_cmd_completion [42791+21+/linux-3.18-rc1/drivers/usb/host/xhci-ring.c]
handle_port_status [48640+18+/linux-3.18-rc1/drivers/usb/host/xhci-ring.c]
handle_tx_event [71589+15+/linux-3.18-rc1/drivers/usb/host/xhci-ring.c]
handle_vendor_event [46467+19+/linux-3.18-rc1/drivers/usb/host/xhci-ring.c]
xhci_giveback_urb_in_irq [19710+24+/linux-3.18-rc1/drivers/usb/host/xhci-ring.c]
xhci_handle_cmd_stop_ep [21013+23+/linux-3.18-rc1/drivers/usb/host/xhci-ring.c]
xhci_handle_event [82266+17+/linux-3.18-rc1/drivers/usb/host/xhci-ring.c]
xhci_irq [84305+8+/linux-3.18-rc1/drivers/usb/host/xhci-ring.c]
xhci_kill_endpoint_urbs [25694+23+/linux-3.18-rc1/drivers/usb/host/xhci-ring.c]
xhci_kill_ring_urbs [25286+19+/linux-3.18-rc1/drivers/usb/host/xhci-ring.c]
xhci_stop_endpoint_command_watchdog [27874+35+/linux-3.18-rc1/drivers/usb/host/xhci-ring.c]